<!DOCTYPE html>
<html>
  <head>
    <title>Changes document location</title>
    <script src="javascript_redirect.js"></script>
  </head>
  <body>
  </body>
</html>
